$\forall$${\it es}$:ES, $X$:AbsInterface(Top). E($X$) $\in$ Type